Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
41	Riemann bilinear relations on minimal surfaces Joaqu´ın P´erez∗ e-mail: Departamento de Geometr´ıa y Topolog´ıa Facultad de Ciencias Universidad de Granada Add to Reading List Source URL: www.ugr.es Language: English - Date: 2001-03-13 07:19:24 Mathematical analysis Differential geometry Differential topology Smooth functions Tangent space Differential geometry of surfaces Distribution Linear temporal logic
42	. CS711008Z Algorithm Design and Analysis . Lecture 8. Algorithm design technique: Linear programming Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2015-12-15 05:30:55 Network flow Mathematics Minimum-cost flow problem Maximum flow problem Logic form Operations research Numerical analysis
43	DEGREE GROWTH OF BIRATIONAL MAPS OF THE PLANE JÉRÉMY BLANC AND JULIE DÉSERTI October 6, 2011 A BSTRACT. This article studies the sequence of iterative degrees of a birational map of the plane. This sequence is known e Add to Reading List Source URL: jones.math.unibas.ch Language: English - Date: 2014-09-21 13:51:17 Mathematical analysis Mathematics Operator theory Constructible universe Divisor Birational geometry Contraction Linear temporal logic Golden ratio base
44	Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2016-04-11 04:53:31 Logic Mathematics IP Interpretation Abstraction Linear temporal logic Craig interpolation
45	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
46	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
47	Paramodulation Paramodulation Linear Paramodulation Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2010-08-31 11:58:31 Automated theorem proving Logic Logic programming Mathematical logic Theoretical computer science Logical truth Propositional calculus Substitution Resolution
48	Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 11:55:34 Theoretical computer science Mathematics Mathematical optimization Numerical analysis Combinatorial optimization Operations research Constraint programming Logic in computer science Maximum satisfiability problem Linear programming Constrained optimization Solver
49	LINEAR ALGEBRA: BEWARE! MATH 196, SECTION 57 (VIPUL NAIK) You might be expecting linear algebra to be a lot like your calculus classes at the University. This is probably true in terms of the course structure and format. Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Calculus Generalizations of the derivative Algebra Linear algebra Logic Mereology Mathematics Philosophy of mathematics
50	THE DAUGAVET EQUATION FOR BOUNDED VECTOR VALUED FUNCTIONS ´ ´ STEFAN BRACH, ENRIQUE A. SANCHEZ PEREZ Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2016-02-16 11:29:51 Operator theory Mathematical analysis Mathematics Theoretical physics Symbol Constructible universe Compact operator Compactness theorem Linear temporal logic NeumannPoincar operator